Publications de
Michel Cayrol, Pierre Régnier, Vincent Vidal
Least commitment in Graphplan
Dans : Artificial Intelligence, Elsevier Science B. V., Sara Burgerhartstraat 25 1055 KV Amsterdam The Netherlands, Vol. 130 N. 1, p. 85-118, juillet 2001.
Frédéric Maris, Pierre Régnier, Vincent Vidal
Planification SAT : Amélioration des codages et traduction automatique
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2004), Toulouse, 28/01/04-31/01/04, AFRIF-AFIA, p. 102-1128, janvier 2004.
Michel Cayrol, Vincent Vidal, Pierre Régnier
New Results about LCGP, a Least Commited GraphPlan
Dans : AIPS 2000, Breckenridge, Colorado, 14/04/00-17/04/00, AAAI Press (Menlo Park. California. USA), AAAI Press45 Burgess DriveMenlo Park, California 94025USA, p. 273-282, avril 2000.
Michel Cayrol, Pierre Régnier, Vincent Vidal
LCGP : une amélioration de Graphplan par relâchement de contraintes entre actions simultanées
Dans : RFIA’2000, Paris, 01/02/00-03/02/00, AFIA, février 2000.
Total order planning is better than we thought
Dans : Proceedings of the National Conference In Artificial Intelligence (AAAI-99), Orlando-FL-USA, 18/07/99-22/07/99, AAAI Press-The MIT Press, p. 591-596, juillet 1999.
Frédéric Maris, Pierre Régnier, Vincent Vidal
Planification par satisfaction de bases de clauses
Dans : Problème SAT : progrès et défis. Lakhdar Saïs (Eds.) , Hermès Science, p. 237-256, mai 2008.
Recherche dans les graphes de planification, satisfiabilité et stratégies de moindre engagement ; les systèmes LCGP et LCDPP.
Thèse de doctorat, Université Paul Sabatier, juillet 2001.
Algorithmique de la planification en IA, Cépaduès, 2004.